|
In mathematics, Krener's theorem is a result attributed to Arthur J. Krener in geometric control theory about the topological properties of attainable sets of finite-dimensional control systems. It states that any attainable set of a bracket-generating system has nonempty interior or, equivalently, that any attainable set has nonempty interior in the topology of the corresponding orbit. Heuristically, Krener's theorem prohibits attainable sets from being hairy. ==Theorem== Let be a smooth control system, where belongs to a finite-dimensional manifold and belongs to a control set . Consider the family of vector fields . Let be the Lie algebra generated by with respect to the Lie bracket of vector fields. Given , if the vector space is equal to , then belongs to the closure of the interior of the attainable set from . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Krener's theorem」の詳細全文を読む スポンサード リンク
|